. A C ] 2 3 Ju n 20 09 TEST IDEALS IN NON - Q - GORENSTEIN RINGS
نویسنده
چکیده
Suppose that X = SpecR is an F -finite normal variety in characteristic p > 0. In this paper we show that the big test ideal τb(R) = τ̃ (R) is equal to ∑ ∆ τ(R; ∆) where the sum is over ∆ such that KX + ∆ is Q-Cartier. This affirmatively answers a question asked by various people, including Blickle, Lazarsfeld, K. Lee and K. Smith. Furthermore, we have a version of this result in the case that R is not even necessarily normal.
منابع مشابه
Good Ideals in Gorenstein Local Rings
Let I be an m-primary ideal in a Gorenstein local ring (A,m) with dimA = d, and assume that I contains a parameter ideal Q in A as a reduction. We say that I is a good ideal in A if G = ∑ n≥0 I n/In+1 is a Gorenstein ring with a(G) = 1−d. The associated graded ring G of I is a Gorenstein ring with a(G) = −d if and only if I = Q. Hence good ideals in our sense are good ones next to the parameter...
متن کاملQuasi-socle Ideals and Goto Numbers of Parameters
Goto numbers g(Q) = max{q ∈ Z | Q : m is integral overQ} for certain parameter ideals Q in a Noetherian local ring (A,m) with Gorenstein associated graded ring G(m) = ⊕ n≥0 m /m are explored. As an application, the structure of quasisocle ideals I = Q : m (q ≥ 1) in a one-dimensional local complete intersection and the question of when the graded rings G(I) = ⊕ n≥0 I /I are Cohen-Macaulay are s...
متن کاملF -stable Submodules of Top Local Cohomology Modules of Gorenstein Rings
This paper applies G. Lyubeznik’s notion of F -finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.
متن کاملGorenstein homological dimensions with respect to a semi-dualizing module over group rings
Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring . It is shown that Gorenstein homological dimensions of an -RΓ module M with respect to a semi-dualizing module, are equal over R and RΓ .
متن کاملLocal Cohomology with Respect to a Cohomologically Complete Intersection Pair of Ideals
Let $(R,fm,k)$ be a local Gorenstein ring of dimension $n$. Let $H_{I,J}^i(R)$ be the local cohomology with respect to a pair of ideals $I,J$ and $c$ be the $inf{i|H_{I,J}^i(R)neq0}$. A pair of ideals $I, J$ is called cohomologically complete intersection if $H_{I,J}^i(R)=0$ for all $ineq c$. It is shown that, when $H_{I,J}^i(R)=0$ for all $ineq c$, (i) a minimal injective resolution of $H_{I,...
متن کامل